Secrecy-Preserving Query Answering for Instance Checking in EL Jia Tao, Giora Slutzki, and Vasant Honavar Iowa State University, Ames, IA, USA Abstract. We consider the problem of answering queries against an

Source URL: www.cs.iastate.edu

• Structure
• Universal algebra
• Formal language
• Parity of a permutation
• Mathematics
• Group theory
• Model theory

Spatial and Behavioural types: safety, liveness and decidability Lucia Acciai and Michele Boreale Dipartimento di Sistemi e Informatica Università degli Studi di Firenze

Source URL: www.dcs.gla.ac.uk

• Type system
• Model checking
• Calculus
• Applied mathematics
• Computer science
• Mathematics
• Process calculi
• Theoretical computer science
• Π-calculus

Social Laws for Multi-Agent Systems: Logic and Games*.5cm Lecture 1: Specifying and verifying state-transition models

Source URL: www.nii.ac.jp

• Mathematics
• Philosophical logic
• Kripke semantics
• Model theory
• Sheaf theory
• Model checking
• Temporal logic
• Agent-based model
• Economic model
• Logic
• Mathematical logic
• Modal logic

Computational approaches to analyze complex dynamic systems: model-checking and its applications. Part 3: Model-checking of timed transitions systems: timed extensions of Petri nets Morgan Magnin

Source URL: www.nii.ac.jp

• Concurrency
• Applied mathematics
• Diagrams
• Petri net
• Automata theory
• Formal verification
• Finite-state machine
• Petri
• Model checking
• Models of computation
• Theoretical computer science
• Computer science

Computational approaches to analyze complex dynamic systems: model-checking and its applications. Part 2: Model-checking of timed transitions systems

Source URL: www.nii.ac.jp

• Computer science
• Automata theory
• Concurrency
• Diagrams
• Petri net
• Formal verification
• Temporal logic
• Finite-state machine
• Modal logic
• Models of computation
• Applied mathematics
• Theoretical computer science

A stochastic Dollo-model for phylogenetic inference: model elaboration and checking. Q Atkinson, GN, D Welch, and R Gray ‘From words to dates: water into wine, mathemagic or phylogenetic inference’, Trans. Philologic

Source URL: www.stats.ox.ac.uk

Formalization and Comparison of MCDC and Object Branch Coverage Criteria Cyrille Comar, Jerome Guitton, Olivier Hainque, Thomas Quinot AdaCore, 46 rue d’Amsterdam, FPARIS (France) {comar, guitton, hainque, quino

Source URL: www.adacore.com

• Binary decision diagram
• Model checking
• Software metrics
• Software engineering
• Modified condition/decision coverage
• Code coverage
• Mathematics
• Formal methods
• Software testing
• Boolean algebra
• Diagrams

MACE: Model-inference-Assisted Concolic Exploration for Protocol and Vulnerability Discovery Chia Yuan Cho†‡ Kevin Zhijie Chen† † University of California, Berkeley

Source URL: www.cs.berkeley.edu

• Information
• Communications protocol
• Finite-state machine
• Algorithm
• Mealy machine
• Function
• Output
• Model checking
• Models of computation
• Mathematics
• Data

Computational approaches to analyze complex dynamic systems: model-checking and its applications. Part 4: Models and algorithms to analyze large-scale concurrent systems: approaches inspired by pi-calculus and static ana

Source URL: www.nii.ac.jp

• Applied mathematics
• Theoretical computer science
• Automata theory
• Systems
• Petri net
• Formal verification
• Finite-state machine
• Algorithm
• Dynamical system
• Models of computation
• Concurrency
• Computer science

MACE: Model-inference-Assisted Concolic Exploration for Protocol and Vulnerability Discovery Chia Yuan Cho†‡ Kevin Zhijie Chen† † University of California, Berkeley

Source URL: bitblaze.cs.berkeley.edu

• Information
• Communications protocol
• Finite-state machine
• Algorithm
• Mealy machine
• Function
• Output
• Model checking
• Models of computation
• Mathematics
• Data